19.25/21.60	unsat
