6.97/11.57	unsat
