2.68/4.23	unsat
