10.69/11.90	unsat
