1.28/3.78	unsat
