6.88/11.13	unsat
