5.98/8.16	unsat
