2.29/7.65	unsat
