13.34/13.48	unsat
