10.26/11.87	unsat
