6.28/8.86	unsat
