6.98/10.22	unsat
