14.45/17.14	unsat
