2.29/7.66	unsat
