17.53/17.61	unsat
