11.96/14.17	unsat
