14.46/16.17	unsat
