31.34/31.48	unsat
