31.24/31.59	unsat
