17.66/20.29	unsat
