1.28/4.02	unsat
