2.63/4.73	unsat
