6.98/11.40	unsat
