2.88/5.86	unsat
