1.68/2.62	unsat
