1.28/3.07	unsat
