5.75/8.16	unsat
