11.75/12.90	unsat
