14.76/17.14	unsat
