11.75/14.17	unsat
