5.28/7.86	unsat
