31.61/31.68	unsat
