10.26/11.90	unsat
