6.88/11.14	unsat
