19.46/20.60	unsat
