14.88/17.44	unsat
