6.28/8.72	unsat
