14.27/15.44	unsat
