17.25/17.56	unsat
