6.98/11.21	unsat
