3.07/5.38	unsat
