14.25/14.46	unsat
