5.88/8.28	unsat
