17.25/18.61	unsat
