18.74/21.17	unsat
