6.98/14.21	unsat
