1.08/5.51	unsat
