5.88/8.16	unsat
