18.85/20.60	unsat
