10.07/11.87	unsat
