10.57/10.87	unsat
