6.98/11.55	unsat
