2.68/2.77	unsat
