2.68/3.77	unsat
