11.75/13.90	unsat
