11.42/14.90	unsat
