14.59/16.14	unsat
