6.98/10.30	unsat
