6.97/11.37	unsat
