19.57/21.62	unsat
