6.97/11.41	unsat
