1.28/5.07	unsat
