17.61/20.26	unsat
