5.98/8.28	unsat
